El Propagador de Cota Luna para el Análisis Formal de Redes Neuronales
<meta name=description content=Propagador de Cota Luna: análisis formal de redes neuronales para verificar cotas de seguridad y propiedades en modelos de inteligencia artificial de manera rigurosa.>